#include "user_wwdg.h"

void WwdgConfiguration(void)
{
  WWDG_SetCounter(0);
  WWDG_ClearFlag();
  WWDG_ResetCfg(ENABLE);
}

void WwdgFeedWatchdog(void)
{
  WWDG_SetCounter(0);
}
